Architecture of Dynamic Service Composition Using Logic Petri Nets

Services are preprocessed based on clustering techniques in the levels of function and similarity of services. Service clustering is modeled by means of the passing value indeterminacy of logic Petri nets. Thus service clustering can be described, and the services with indeterminacy parameters can be modeled formally. Thus service composition is investigated under the classified architecture of service clustering. The architecture of dynamic service composition is given, and logic Petri nets are used for service realization. Services can be combined rapidly and automatically, and the path of a composition service can be constructed by automatic inference.